let rec fact_equal n = if n=0 then 1 else n*fact_equal(n-1);;

if fact_equal 10 = 3628800 then
  print_string "Yes\n"
else
  assert false
;;

let rec fact_match n = match n with
  0 -> 1
| n -> n*fact_match(n-1)
;;

if fact_match 10 = 3628800 then
  print_string "Yes\n"
else
  assert false
;;
